Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
131	Proof Reconstruction for Z3 in Isabelle/HOL Sascha B¨ohme Technische Universit¨at M¨ unchen [removed] Abstract Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-07-06 02:18:43 Proof theory Logic in computer science Automated theorem proving Formal methods Natural deduction Mathematical proof First-order logic Satisfiability Modulo Theories Propositional calculus Logic Mathematical logic Mathematics
132	Employer Charge/Deduction Worksheet Add to Reading List Source URL: doa.alaska.gov Language: English - Date: 2014-09-26 15:11:19 Automated theorem proving Mathematics Mechanization and Automated Reasoning Platform EE
133	Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-07-15 23:21:00 Proof theory Deduction Propositional calculus Method of analytic tableaux First-order logic Entailment Interpolation Sequent calculus Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
134	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
135	27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:50 Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory
136	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2010-07-17 14:32:37 Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic Mathematical logic Proof theory
137	AG13 FORMALISM B Alessio Guglielmi (TU Dresden[removed]In this note (originally posted on[removed]to the Frogs mailing Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:44 Sequent calculus Sequent Rule of inference Deep inference Cut-elimination theorem Natural deduction Proof theory Logic Mathematical logic
138	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory
139	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
140	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics

UPDATE